1. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
پدیدآورنده : Jacques Calmet...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2385
2. Automated Technology for Verification and Analysis
پدیدآورنده : \ Bernd Finkbeiner, Geguang Pu, Lijun Zhang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving -- Congresses.,Artificial intelligence -- Congresses.,اثبات قضیه خودکار -- کنگره ها , ه‍وش م‍ص‍ن‍وع‍ی -- کنگره ها
رده :
QA76
.
9
.
A96
A82
2015
E-Book
,
3. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings
پدیدآورنده : Harrie de Swart, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1397
4. Automated technology for verification and analysis
پدیدآورنده : Supratik Chakraborty, Madhavan Mukund (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2012eb
5. Automated technology for verification and analysis :
پدیدآورنده : Dang Van Hung, Mizuhito Ogawa (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2013
6. Automated technology for verification and analysis
پدیدآورنده : Zhiming Liu, Anders P. Ravn (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2009
7. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
8. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
9. Geometric reasoning for perception and action : Workshop, Grenoble, France, September 16-17, 1991 : selected papers
پدیدآورنده : Christian Laugier )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Computer vision,Congresses ، Robotics,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
708
10. Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Computer vision-- Congresses,، Robotics-- Congresses,، Automatic theorem proving-- Congresses
رده :
Q
334
.
G465
1993
11. KI-96 :
پدیدآورنده : Günther Görz, Steffen Hölldobler, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Automatic theorem proving -- Congresses.,Knowledge representation (Information theory) -- Congresses.
12. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
پدیدآورنده : Franz Baader, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3452
13. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
پدیدآورنده : Matthias Baaz, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2514
14. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings
پدیدآورنده : / Geoff Sutcliffe, Andrei Voronkov (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses
رده :
005
.
115
I61L
2005
15. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3-7, 1996 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1085
16. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Automatic theorem proving - Congresses , Reasoning - Congresses , Artificial intelligence - Congresses
رده :
QA
76
.
9
.
A96
I575
1996
